An engineering approach to formal digital system design
نویسندگان
چکیده
منابع مشابه
An Engineering Approach to Formal Digital System Design
This paper describes a rst attempt at building design tools that amalgamate theorem proving and engineering methods. To gain acceptance such a tool must focus on the engineering task and proof steps must be hidden. From these ideas a prototype system based on the HOL proof assistant has been designed. The key features of this system are threefold. First, we use window reasoning for modelling th...
متن کاملAn Engineering Approach to Formal Methods
The distinctive features of engineering are discussed, and used to identify how an engineering approach to formal methods might be developed. The key concept in engineering is suggested to be known components that are combined in known ways. This component-based style is illustrated for two application areas at two levels: in high-level specification of communications services, and in low-level...
متن کاملAn Engineering Approach to Hard Real-Time System Design
This paper presents a systematic methodology for the design of distributed fault tolerant real-time systems. The methodology covers the stepwise reenement of the given requirements, expressed in the form of real-time transactions, to task and protocol executions. It also includes a timing analysis and dependability evaluation of the still incomplete design. The testability of the evolving syste...
متن کاملA Formal Approach to Design Patterns in Re-Engineering
This paper uses a transformation from procedural design patterns to object-oriented design patterns for the re-engineering of legacy code. A formal semantics for design patterns is introduced in order to justify the preservation of functionality in the re-engineering process. We give examples of the technique on a case study of an industrial legacy system in COBOL.
متن کاملFrom Rigorous Requirements Engineering to Formal System Design
Rigorous Requirements Engineering The aim of requirements engineering is to capture the intended behaviour of a system (including its safety properties) and the characteristics of its environment of operation. CETIC has adopted KAOS, a major goal-oriented methodology, which combines two description levels: an informal/graphical level for optimal communication and a formal layer enabling powerfu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1995
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/38.2.101